We investigate the expressive power of second-order logic over finite structures, when two limitations are imposed. Let SAA ) be the set of second-order formulas such that the arity of the relation variables is bounded by k and the number of alternations of second-order quantification is bounded by n . We show that this imposes a proper hierarchy on second-order logic, i.e. for every k , n there are problems not definable in AA but definable in AA for some c (...) 1 , d 1 . The method to show this is to introduce the set AUTOSAT of formulas in F which satisfy themselves. We study the complexity of this set for various fragments of second-order loeic. For first-order logic FOL with unbounded alternation of quantifiers AUTOSAT is PSpace complete. For first-order logic FOL n with alternation of quantifiers bounded by n , AUTOSAT is definable in AA . AUTOSAT) is definable in AA for some c 1 , d 1. (shrink)

The concept of work engagement has aroused the interest of many scholars. However, there has been limited academic research in examining how authentic leadership can influence WE, which consequently influences organizational citizenship behavior and task performance. In particular, this study divides WE into cognitive engagement, emotional engagement, and physical engagement to fully reflect the engagement theory. This study introduces three dimensions of WE and tests the theoretical model to validate cognitive engagement, emotional engagement, and physical engagement. Empirical testing using a (...) survey of 151 employees of retail travel agencies in Taiwan revealed that the AL can influence cognitive engagement, emotional engagement, and physical engagement, and also OCB and TP. These analysis results can assist vendors to implement OCB and TP through WE and AL. (shrink)

This article proposes a moderated mediation model of emotional dissonance. In the model, emotional leadership negatively affects emotional dissonance, which, in turn, negatively affects helping behavior. Furthermore, the negative effect of emotional dissonance is assumed to be moderated by work-family conflict. Direct effects from both emotional leadership and work-family conflict to helping other behavior are also considered. Previous studies have neglected the mechanism of emotional dissonance, but this paper fills the gap with a moderated mediation model of emotional dissonance. This (...) article not only provides an incremental contribution to the emotional dissonance literature but also suggests means by which companies might enhance employe helping behaviors in order to achieve greater organizational efficiency. (shrink)

Augustine’s doctrine of Jewish witness maintains that, although Christianity has superseded Judaism as the one true religion, it is God’s will that the Jews continue to exist because they preserve and authenticate the Old Testament, divinely-inspired texts which foretold the coming of Jesus. Thus, Christian rulers are obligated to protect the religious liberties of the Jewish people, and the church should focus its missionary efforts on pagans rather than Jews. Current scholarly consensus holds that Augustine adhered consistently to this doctrine (...) from its first iteration in Contra Faustum in 398 until his death in 430. However, this essay argues that, when Augustine spoke his last words on the subject in the Tractatus Aduersus Iudaeos, the doctrine was no longer his primary guide in thinking about how Christians should interact with Jews. In marked contrast to his earlier views, here, Augustine passionately urges Jews to accept Christ and encourages his congregation to try to convert them. This reading of the Tractatus Aduersus Iudaeos calls for a re-examination of the development of Augustine’s teaching, particularly in the context of dramatic changes in imperial policy toward Jews in the 420s. (shrink)

Provides a substantial selection and new translation of texts from the full range of Aquinas' writings.

We show that large fragments of MM, e. g. the tree property and stationary reflection, are preserved by strongly -game-closed forcings. PFA can be destroyed by a strongly -game-closed forcing but not by an ω2-closed.

The history of the development of Islam in Indonesia often fails because of the rejection of the local community. Therefore, it is necessary to make ethical efforts so that society can accept Islam. This research is an attempt to explain the Mantra by Sunan Kalijaga (after this referred to as SKM) as a medium for spreading Islam. This research uses a qualitative research paradigm. The primary data source is the spell text in Serat Kidungan ingkang Jangkep. Data analysis techniques use (...) content analysis techniques and hermeneutics. The results showed that SKM is a philosophical representation of Javanese mantras with the spirit of Islam. Mantras are not simple texts but rather acts of establishing the understanding of Islam through integrating literature and culture. Hindu-Islamic syncretism is wrapped in the symbolisation of the text. Word choice is not always of magical significance because the text is oriented towards the purpose of ‘the other’. Restructuring the relationship between text and symbols reflects a strategy for changing the nature and purpose of spells. In turn, SKM is a quality ritual language that has an essential role in the history of the Islamic movement in Java, Indonesia. Axiologically, SKM provides necessary educational knowledge about the ethics of proselytising without being hurt. Sunan Kalijaga combines literary, cultural, educational, and ethical values for religious purposes. An important implication of this research is that mantras can contribute to promoting the transdisciplinary aspects of religion in the international theological arena through mantra texts. Thus, SKM has an essential role in spirituality and science. Contribution: This article contributes to the HTS Theological Studies’s goal of promoting the transdisciplinary aspects of religious studies in the international theological arena on the study of mantra texts. (shrink)

Georgians' acquaintance with Islam was with the first Arab raids. From the first Muslim Arab domination, Georgians started to become Muslims with cultural interaction. Islam spread especially in Eastern Georgia during the time of Muslim Arabs, Seljuks and Mongols. The spread of Islam in Western Georgia started with the Ottomans. The Ottoman Empire's contact with Georgia begins with the conquest of Trabzon by Fatih Sultan Mehmed. When the Ottomans contacted the region, the geography of Georgia was divided into small kingdoms. (...) With the conquest of Trabzon, the Georgian border was reached and in 1479, Acaristan, Borcka and Maçahel surroundings joined the Ottoman lands. On the one hand, Sukhumi was captured from the north. Then, continuing to advance in the region, Yavuz Sultan Selim paid tribute to the Kingdom of Güryel and Imeret (Açıkbaş) in 1508 during his governorship of Trabzon. Thus, the Ottoman borders had reached beyond the Black Sea coast into Western Georgia. As a result of the increasing relations around Adjaria, which came under Ottoman rule, Islamization began to spread rapidly among the people. Contrary to what is claimed, the spread of Islam in the region did not spread from the ruling strata to the lower, but from the popular strata to the ruling strata. This process was surprisingly fast. In the process of Islamization, many mosques, masjids and schools were built in Adjara, especially with the help of the people. The foundations operating in the region and the mosques and masjids serving under them show that, contrary to the claims of Russian and Georgian historians, Islamization took place rapidly at the beginning of the 17th century in Adjara. In this process, many mosques, masjids and schools were built in the region. In this research, based on the numerous Hurufat records belonging to Adjara, Batumi, Gönye, Çürüksu and Maçahel, the Islamization process will be evaluated by making a social reading with the data obtained from the religious structures established in the rural settlements of the Adjara geography and their officials. Evaluations were made on the Islamization process in Adjara by making a social reading. (shrink)

Cyclin-dependent kinase 5 has been implicated in Alzheimer's disease pathogenesis. Here, we demonstrate that overexpression of p25, an activator of cdk5, led to increased levels of BACE1 mRNA and protein in vitro and in vivo. A p25/cdk5 responsive region containing multiple sites for signal transducer and activator of transcription was identified in the BACE1 promoter. STAT3 interacts with the BACE1 promoter, and p25-overexpressing mice had elevated levels of pSTAT3 and BACE1, whereas cdk5-deficient mice had reduced levels. Furthermore, mice with a (...) targeted mutation in the STAT3 cdk5 responsive site had lower levels of BACE1. Increased BACE levels in p25 overexpressing mice correlated with enhanced amyloidogenic processing that could be reversed by a cdk5 inhibitor. These data demonstrate a pathway by which p25/cdk5 increases the amyloidogenic processing of APP through STAT3-mediated transcriptional control of BACE1 that could have implications for AD pathogenesis. (shrink)

The operational definition of a weak value for a quantum mechanical system involves the limit of the weak measurement strength tending to zero. I study how this limit compares to the situation for the undisturbed system. Under certain conditions, which I investigate, this limit is discontinuous in the sense that it does not merge smoothly to the Hilbert space description of the undisturbed system. Hence, in these discontinuous cases, the weak value does not represent the undisturbed system. As a result, (...) conclusions drawn from such weak values regarding the properties of the studied system cannot be upheld. Examples are given. (shrink)

How international research might contribute to justice in global health has not been substantively addressed by bioethics. This article describes how the provision of ancillary care can link international clinical research to the reduction of global health disparities. It identifies the ancillary care obligations supported by a theory of global justice, showing that Jennifer Ruger’s health capability paradigm requires the delivery of ancillary care to trial participants for a limited subset of conditions that cause severe morbidity and mortality. Empirical research (...) on the Shoklo Malaria Research Unit’s (SMRU) vivax malaria treatment trial was then undertaken to demonstrate whether and how these obligations might be upheld in a resource-poor setting. Our findings show that fulfilment of the ancillary care obligations is feasible where there is commitment from chief investigators and funders and is strongly facilitated by SMRU’s dual role as a research unit and medical non-governmental organization. (shrink)

The COVID-19 pandemic shocked the global economy, with numerous companies suffering losses and shutting down. However, some companies proved to be resilient, being able to sustain their economic performance despite the pandemic. The study aims to explain the sustainable economic performance of companies during the COVID-19 pandemic. The relationships between empowering leadership, innovative work behavior, organizational readiness to change, and sustainable economic performance were assessed. The data were collected via an online questionnaire from January 2021 to March 2021, during the (...) height of the COVID-19 pandemic in Russia. The respondents were Russian companies’ employees holding management positions, competent to objectively assess organizational circumstances during the COVID-19 pandemic. A sample of 337 was used in the analysis. Confirmatory factor analysis (CFA) with maximum likelihood estimation was conducted using SPSS AMOS. The structural model was tested with standardized parameter estimates, standard errors, and p-values calculated. The findings of the study suggest that innovative work behavior and organizational readiness to learn have a direct influence on sustainable economic performance. The findings also suggest that empowering leadership impacts innovative work behavior but not sustainable economic performance. The mediation analysis indicates that innovative work behavior is a mediator between empowering leadership and sustainable economic performance, whereas organizational readiness to learn is not a moderator. The study adds to the leadership and sustainability body of knowledge and contributes to the research on the COVID-19 pandemic in the organizational context. (shrink)

The apolipoprotein E gene plays an important role in the pathogenesis of Alzheimer's disease , and amyloid plaque comprised mostly of the amyloid-beta peptide ) is one of the major hallmarks of AD. However, the relationship between these two important molecules is poorly understood. We examined how A treatment affects APOE expression in cultured cells and tested the role of the transcription factor NF-B in APOE gene regulation. To delineate NF-B's role, we have characterized a 1098 nucleotide segment containing the (...) 5'-flanking region of the human APOE gene . Sequence analysis of this region suggests the presence of two potential NF-B elements. To demonstrate promoter activity, the region was cloned upstream of a promoterless luciferase gene. This segment was able to drive expression of luciferase in transient transfections of human fetal glial cells. Promoter activity was stimulated twofold by A treatment. Pretreatment with double-stranded DNA decoy oligonucleotides against NF-B reduced A stimulation. Deletion and mutagenetic analyses demonstrated that the distal NF-B element was functional and showed a strong DNA-protein complex band in gel shift analysis, similar to that from control NF-B consensus element. An anti-inflammatory and anti-NF-B drug, sodium salicylate, significantly blocked A-induced APOE promoter function. Our data provide evidence that upregulation of APOE by A in astroglial cells is mediated by an NF-B-element present in the 5'-flanking region of the APOE gene. (shrink)

The debate over the propriety of cognitive enhancement evokes both enthusiasm and worry. To gain further insight into the reasons that people may have for endorsing or eschewing pharmacological enhancement, we used empirical tools to explore public attitudes towards PE of twelve cognitive, affective, and social domains. Participants from Canada and the United States were recruited using Mechanical Turk and were randomly assigned to read one vignette that described an individual who uses a pill to enhance a single domain. After (...) reading the vignette, participants were asked how comfortable they were with the individual using the enhancement. People were significantly more comfortable when they read about enhancement of certain CAS domains than others. We found a modest negative correlation between comfort level and the degree to which the PE was perceived as changing core features of the person. We also found a modest correlation between comfort level and the degree to which the PE was perceived as improving success in life. Finally, using a sequential mixed method technique, we found that participants who felt uncomfortable about PE use overwhelmingly focused on a lack of need and, to a lesser degree, expressed concerns about safety; those who felt comfortable about PE use most frequently mentioned the safety of the pill and its ability to provide a positive outcome. The data provide novel insights into public enthusiasms and concerns over the use of PE. (shrink)

In this chapter we extend earlier work (Vinuesa et al., Nat Commun 11, 2020) on the potential of artificial intelligence (AI) to achieve the 17 Sustainable Development Goals (SDGs) proposed by the United Nations (UN) for the 2030 Agenda. The present contribution focuses on three SDGs related to healthy and sustainable societies, i.e., SDG 3 (on good health), SDG 11 (on sustainable cities), and SDG 13 (on climate action). This chapter extends the previous study within those three goals and goes (...) beyond the 2030 targets. These SDGs are selected because they are closely related to the coronavirus disease 19 (COVID-19) pandemic and also to crises like climate change, which constitute important challenges to our society. (shrink)